Formal Methods in Molecular Biology

نویسندگان

  • Rainer Breitling
  • Adelinde M. Uhrmacher
  • Frank J. Bruggeman
  • Corrado Priami
  • Elzbieta Krepska
  • Kirill Batmanov
  • Antje Beyer
  • Matthias Jeschke
  • Andrea Bracciali
  • Mostafa Herajy
  • Pietro Lió
  • Chiara Bodei
  • Luca Bortolussi
  • Davide Chiarugi
  • Maria Luisa Guerriero
  • Jane Hillston
  • Ivan Mura
  • Alberto Policriti
چکیده

This report documents the program and the outcomes of the Seminar 11151 ‘Formal Methods in Molecular Biology’ that took place in Dagstuhl, Germany, on 10.–15. April, 2011. The most recent advances in Systems Biology were discussed, as well as and the contribution of computational formalisms to the modeling of biological systems, with the focus on stochasticity. About 30 talks were given. The participants formed 5 teams that worked on selected case studies. Two teams were awarded prizes, for their efforts in analyzing and further elucidating published biological models. Seminar 10.–15. April, 2011 – http://www.dagstuhl.de/11151 1998 ACM Subject Classification J.3 Biology and Genetics.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Methods in Molecular Biology Dagstuhl Seminar

From 23. February to 27. February 2009, the Dagstuhl Seminar 09091 Formal Methods in Molecular Biology was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas a...

متن کامل

RNA Extraction from Animal and Human\'s Cancerous Tissues: Does Tissue Matter?

The reliability of gene expression profiling based technologies and methods to find transcriptional differences representative for the original samples is influenced by the quality of the extracted RNA. Hence, RNA extraction is the first step to investigate the gene expression and its function. Consequently, the quality of extracted RNA is really significant. Correspondingly, this research was ...

متن کامل

Spermatogonial Stem Cells: Biology, Isolation, Culture, Characterization, and Practical Perspectives

Spermatogonial stem cells (SSCs) also known as germ stem cells (GSCs) are the basis of spermatogenesis process in the testis. Furthermore, they are also valuable cells with different applications in developmental biology, transgenesis technology, and clinic. Understanding the new findings related to the cell and molecular biology of SSCs and the methods for isolation and maintenance of these ce...

متن کامل

Molecular Epidemiology of Breast Cancer among Iranian-Azeri Population based on P53 Research

Background: This study was done in order to enhance our understanding about molecular and epidemiological features of breast cancer among the Azeri population with special emphasis on the detection of TP53 mutations. We also analyzed the role of the P53codon72 polymorphism (rs1042522) and its role in susceptibility to breast cancer. Methods: ...

متن کامل

Expression Analysis of PKS13, FG08079.1 and PKS10 Genes in Fusarium graminearum and Fusarium culmorum

Background: Identification and quantification of mycotoxins produced by Fusarium species are important in controlling fungal diseases. Objectives: Potential of zearalenone, butenolide and fusarin C production was investigated in five Fusarium graminearum and five F. culmorum isolates at molecular level. Materials and Methods: Presence of PKS13, FG08079.1 and PKS10 genes, associated with produ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011